"Giovanni Sambin" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Per Martin-Löf

645 Kb

#2

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Per Martin-Lof

2.35 Mb

#3

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

Giovanni Sambin, Jan M. Smith

14.04 Mb

#4

Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Giovanni Sambin, Jan M. Smith

Категория: Mathematical logic

2.07 Mb